program correctness的例句大全

A set of input data and conditions used to check the program correctness.

一组用于检查程序正确性的输入数据和条件.

The search for the mistake is limited , greatly easing the problems of maintenance and program correctness.

搜寻这个错误很容易, 维护和修改这个程式也很容易.

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

The correctness of the program, however, is unaffected by the truncated name.

但是, 程序的正确性不受截断名称的影响.

The conveyor middle trough of the improved for stress analysis, theoretically proved the correctness of the optimization program.

对改进前后输送机中部槽进行应力分析，从理论上验证了优化方案的正确性。

Compared with previous certifying compilers, this compiler could deal with much more complex program properties, such as partial correctness about values.

而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。

White-box test is a kind of important method to verity correctness of program.

白盒 测试是检验程序正确性的重要方法.

The results show that: the split-flow program of this paper putting forward is sure to solve engine stall issue and verify the correctness of theoretical research and simulation model.

试验结果表明：本文所提出的分流方案能够有效解决发动机失速问题，验证了理论分析和仿真模型正确性。